<?php

$hour = 12;
$minute = 34;
$second = 56;
echo "$hour:$minute:$second";